361. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
362. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
363. Computation, logic, games, and quantum foundations :
پدیدآورنده : Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
364. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
365. Computer-Human Interaction in Symbolic Computation
پدیدآورنده : edited by N. Kajler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer graphics.,Computer science.
رده :
QA76
.
9
.
H85
E358
1998
366. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
367. Computer-supported calculus.
پدیدآورنده : A Ben-Israel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA303
.
5
.
D37
A246
2012
368. Concepts & Images
پدیدآورنده : by Arthur L. Loeb.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer vision.,Logic, Symbolic and mathematical.,Mathematical physics.,Mathematics.,Visualization.
369. Concise complex analysis
پدیدآورنده : Sheng Gong
موضوع : Functions of complex variables,Mathematical analysis,Calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
370. Concise complex analysis
پدیدآورنده : Gong, Sheng
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Functions of complex variables,، Mathematical analysis,، Calculus
رده :
QA
331
.
7
.
G648
2001
371. Concise complex analysis
پدیدآورنده : Gong, Sheng
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Functions of complex variables,، Mathematical analysis,، Calculus
رده :
QA
331
.
7
.
G648
2007
372. Concise complex analysis
پدیدآورنده : Gong, Sheng
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Functions of complex variables,، Mathematical analysis,، Calculus
رده :
QA
331
.
7
.
G648
2001
373. Concise complex analysis
پدیدآورنده : Kung, Sheng, 0391-
کتابخانه: (طهران)
موضوع : ، Functions of complex variables,، Mathematical analysis,، Calculus
رده :
QA
331
.
7
.
K84C6
374. Concrete functional calculus /
پدیدآورنده : R.M. Dudley, R. Norvaiša.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nonlinear functional analysis.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear functional analysis.
رده :
QA321
.
5
.
D83
2011
375. Connections, sprays, and Finsler structures /
پدیدآورنده : József Szilasi, Rezső L Lovas, Dávid Cs Kertész, University of Debrecen, Hungary.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry, Differential.,Geometry, Differential.
رده :
QA641
.
S95
2014
376. Context-aware systems and applications, and nature of computation and communication :
پدیدآورنده : Phan Cong Vinh, Vangalur Alagar (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Context-aware computing, Congresses.,Context-aware computing.
رده :
QA76
.
5915
377. Convex analysis and variational problems
پدیدآورنده : Ekeland, Ivar
موضوع : ، Mathematical optimization,، Convex functions,، Calculus of variations
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
378. Convex analysis and variational problems
پدیدآورنده : / Ivar Ekeland Roger Temam
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Mathematical optimization,Convex functions,Calculus of variations
رده :
QA402
.
5
.
E3813
379. Convex analysis and variational problems
پدیدآورنده : Ekeland, Ivar
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Mathematical optimization,، Convex functions,، Calculus of variations
رده :
QA
402
.
5
.
E5
380. Convex analysis & variational problems
پدیدآورنده : EKELAND,IVAR
کتابخانه: (طهران)
موضوع : MATHEMATICAL OPTIMIZATION , CONVEX FUNCTIONS , CALCULUS OF VARIATIONS
رده :
QA
402
.
5
.
E3813
1976